int BootOptions_tests();
